1. Computability and logic
Author: / George Boolos, Richard Jeffrey
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Recursive functions,Logic, symbolic and mathematical
Classification :
511
.
3
B724c
2. Computability and logic
Author: George Boolos, Richard Jeffrey
Library: Library of Faculty of Literature and Humanities Sciences of Kashan University (Esfahan)
Subject: Computable functions,Recursive functions
Classification :
511
.
3
B724C
3. Computability and logic
Author: George Boolos, Richard Jeffrey,Title
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Computable functions,Recursive functions,Logic, Symbolic and mathematical
Classification :
QA
.
B66
9
.
59
1980
4. Logic, logic, and logic /
Author: George Boolos ; with introductions and afterword by John P. Burgess ; edited by Richard Jeffrey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic.
Classification :
BC51
.
B58
1998
5. Logic, logic, and logic
Author: / George Boolos; with introductions and afterword by John P. Burgess; edited by Richard Jeffrey
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Logic
Classification :
160
B724L
1998
